/* testing while */

/* result should be:
 * 0 1 2 3 4 5 6 7 8 9 10
 * (and there is a \n between each pair of them)
 */

/*@*/
int main()
{
  int i;
  i = 0;
  while (i<10)
  {
    //print(i);
    i = i+1;
  }

  while(i<=10)
  {
    //print(i);
    i = i+1;
  }
  return 0;
}
/*@*/
